perm filename SEMINA[F82,JMC] blob sn#685151 filedate 1982-10-29 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	semina[f82,jmc]		Abstract for seminar on circumscription
C00004 ENDMK
CāŠ—;
semina[f82,jmc]		Abstract for seminar on circumscription

	My 1980 paper "Circumscription: a form of non-monotonic reasoning"
proposes a "rule of conjecture" expressed by a certain sentence schema
asserting that a predicate symbol has the minimal extension compatible
with the axioms to which it is subjected.  The intended artificial
intelligence applications require that this be generalized to minimizing a
collection of formulas subject to priorities.

	The talk will cover both applications to the epistemology of
common sense knowledge and the mathematical properties of the formalism
but will emphasize the latter.  A handout may be available Monday or
Tuesday.